Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

Graphical AbstractGene editing with engineered nucleases introduce double-strand breaks that are repaired by error-prone nonhomologous end-joining (NHEJ). In article number 1900126, Sara G. Trimidal et al. propose that the length and type or resulting indels can now be controlled by editing with different engineered nucleases or by manipulating the expression of NHEJ genes.

Genome editing with engineered nucleases (GEENs) introduce site‐specific DNA double‐strand breaks (DSBs) and repairs DSBs via nonhomologous end‐joining (NHEJ) pathways that eventually create indels (insertions/deletions) in a genome. Whether the features of indels resulting from gene editing could be customized is asked. A review of the literature reveals how gene editing technologies via NHEJ pathways impact gene editing. The survey consolidates a body of literature that suggests that the type (insertion, deletion, and complex) and the approximate length of indel edits (...) can be somewhat customized with different GEENs and by manipulating the expression of key NHEJ genes. Structural data suggest that binding of GEENs to DNA may interfere with binding of key components of DNA repair complexes, favoring either classical‐ or alternative‐NHEJ. The hypotheses have some limitations, but if validated, will enable scientists to better control indel makeup, holding promise for basic science and clinical applications of gene editing. Also see the video abstract here https://youtu.be/vTkJtUsLi3w. (shrink)

Ethical self-management; an introduction to systematic personality psychology, by M. C. Katz.--Four axiological proofs of the infinite value of man, by R. S. Hartman.--Some thoughts regarding the current philosophy of the behavioral sciences, by C. R. Rogers.--Autonomy and community, by D. Lee.--Synergy in the society and in the individual, by A. H. Maslow.--Human nature: its cause and effect; a theoretical framework for understanding human motivation, by M. C. Katz.--Mental health; a generic attitude, by G. W. Allport.--Love feelings in courtship couples; (...) an analysis, by R. P. Hattis.--Economic policies and human well-being, by W. A. Weisskopf.--The great transformation, by H. F. W. Perk.--Contingencies of reinforcement in the design of a culture, by B. F. Skinner.--For further reading. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

The application of ontology has thus far [in 1998] been confined almost exclusively to the field of knowledge representation. Ontology has been applied, for example, in the design of medical databases and in the construction of geographical information systems. One area which is naturally suited to ontological analysis is that of the law and of social institutions in general. -/- Legal systems are composed of legal entities, such as laws, contracts, obligations, and rights. Their application yields new categories of entities (...) such as: corporations, trademarks, marriages, and parcels of real estate. The categorization of these entities by different legal systems has not, by-and-large, been conducted in ways which exploit the tools of modern ontology. Consequently, contradictions and inconsistencies often arise in the law when, for instance, one type of entity is forced into two mutually exclusive categories (e.g., when software is considered both patentable and copyrightable). Papers are invited which consider these and related issues from a philosophical point of view. (shrink)

This treatise on aesthetics criticizes various psychological theories of art, offers new theories and interpretations, and draws important inferences concerning ...

This early work by Robin G. Collingwood was originally published in 1939 and we are now republishing it with a brand new introductory biography. 'An Autobiography' is the story of Collingwood's personal and academic life. Robin George Collingwood was born on 22nd February 1889, in Cartmel, England. He was the son of author, artist, and academic, W. G. Collingwood. He was greatly influenced by the Italian Idealists Croce, Gentile, and Guido de Ruggiero. Another important influence was his father, a professor (...) of fine art and a student of Ruskin. He published many works of philosophy, such as Speculum Mentis (1924), An Essay on Philosophic Method (1933), and An Essay on Metaphysics (1940). (shrink)

This book aims to provide an introduction to Aristotle's Politics, highlighting the major themes and arguments offered in the scholar's work. It begins with a discussion on what Aristotle perceives as human good, which he had described as the ethical purpose of political science, and how he views the political community, or the polis, as a community of persons formed with a view to some good purpose and a supreme entity in the sense that it is not just one aspect (...) of city-state society but is the whole of that society. The book also discusses Aristotle's arguments against the abolition of the household for the ruling class and the communism of families and property, which Plato advocates, and highlights certain inconsistencies and vulnerabilities in his arguments supporting natural slavery and on how the husband should rule over his wife and children. The book presents Aristotle's account of the relative merits of six different types of constitution and his views on the best possible constitution that will help in the realization of the polis' true purpose of achieving the good life. It ends with a discussion on Aristotle's view of political science in relation to the protection of particular constitutions against constitutional change and political disorder. (shrink)

EMPIRICIST THEORIES OF PERSONAL IDENTITY STATE THAT THE IDENTITY OF A PERSON OVER TIME IS A MATTER OF BODILY CONTINUITY AND/OR SIMILARITY OF MEMORY AND CHARACTER. IN CONTRAST, THIS PAPER ARGUES THAT WHILE BODILY CONTINUITY AND SIMILARITY OF MEMORY AND CHARACTER ARE EVIDENCE OF PERSONAL IDENTITY, THEY DO NOT CONSTITUTE IT. IT IS SOMETHING UNDEFINABLE. THE DIFFICULTY OF KNOWING WHAT TO SAY IN PUZZLE CASES DOES NOT SHOW THAT PERSONAL IDENTITY EXISTS IN DIFFERENT DEGREES OR THAT WE HAVE TO MAKE (...) ARBITRARY JUDGMENTS ABOUT IT. IT SHOWS ONLY THAT SOMETIMES WE CANNOT KNOW WHO IS WHO. (shrink)

On what grounds will the rational man become a Christian? It is often assumed by many, especially non-Christians, that he will become a Christian if and only if he judges that the evidence available to him shows that it is more likely than not that the Christian theological system is true, that, in mathematical terms, on the evidence available to him, the probability of its truth is greater than half. It is the purpose of this paper to investigate whether or (...) not this is a necessary and sufficient condition for the rational man to adopt Christianity. (shrink)

In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.

In the past ten years, there has been growing interest in and concern about protecting the privacy of personal medical information. Insofar as medical records increasingly are stored electronically, and electronic information can be shared easily and widely, there have been legislative efforts as well as scholarly analyses calling for greater privacy protections to ensure that patients can feel safe disclosing personal information to their health-care providers. At the same time, the volume of biomedical research conducted in this country continues (...) to grow. The budget of the National Institutes of Health, for example, was $20,298 million in 2001, having more than doubled from a budget of $9,218 million 10 years before. This growing body of research includes increased efforts to use stored medical records as a source of data for health services, epidemiologic, and clinical studies. (shrink)

In the past ten years, there has been growing interest in and concern about protecting the privacy of personal medical information. Insofar as medical records increasingly are stored electronically, and electronic information can be shared easily and widely, there have been legislative efforts as well as scholarly analyses calling for greater privacy protections to ensure that patients can feel safe disclosing personal information to their health-care providers. At the same time, the volume of biomedical research conducted in this country continues (...) to grow. The budget of the National Institutes of Health, for example, was $20,298 million in 2001, having more than doubled from a budget of $9,218 million 10 years before. This growing body of research includes increased efforts to use stored medical records as a source of data for health services, epidemiologic, and clinical studies. (shrink)

An alleged moral right to informational privacy assumes that we should have control over information about ourselves. What is the philosophical justification for this control? I think that one prevalent answer to this question—an answer that has to do with the justification of negative rights generally—will not do.